Let A be a Banach algebra and E be a Banach A -biModule then S=A ÅE, the l1-direct sum of A and E becomes a Module extension Banach algebra when equipped with the algebras product (a, x): (a', x')=(aa', a.x'+x.a'). In this paper, we investigate D-amenability for these Banach algebras and we show that for discrete inverse semigroup S with the set of idempotents ES, the Module extension Banach algebra S=l1 (ES) Å l1 (S) is D-amenable as a l1 (ES) -Module if and only if l1 (ES) is amenable as Banach algebra.

In this paper we define a congruence ~ on inverse semigroup S such that amenability of S is equivalent to amenability of S/ ~. We study Module amenability of semigroup algebra i1(S/ ~) when S is an inverse semigroup with idempotents E and prove that it is equivalent to Module amenability of i1 (S). The main difference of this action with the more studied trivial action is that in this case the corresponding homomorphic image is a Clifford semigroup rather than a discrete group.

In this paper, by considering the notion of extended BCK- Module, we define the concepts of free extended BCK-Module, free object in category of extended BCK-Modules and we state and prove some related results. Specially, we define the notion of idempotent extended BCK-Module and we get some important results in free extended BCK- Modules. In particular, in category of idempotent extended BCK-Modules, we give a method to make a free object on a nonempty set and in BCK- algebra of order 2, we give a method to make a basis for unitary extended BCK-Modules. Finally, we define the notions of projective and productive Modules and we investigate the relation between free Modules and projective Modules. In special case, we state the relation between free Modules and productive Modules.

Let A be a Banach algebra and X be a Banach A-biModule. Then S = AÅX, the l1-direct sum of A and X becomes a Module extension Banach algebra when equipped with the algebra product (a, x).(a’, x’) = (aa’, ax’+xa’). In this paper, we investigate biflatness and biprojectivity for these Banach algebras. We also discuss on automatic continuity of derivations on S = A Å A.